-
1 примитивно-рекурсивная схема
Большой англо-русский и русско-английский словарь > примитивно-рекурсивная схема
-
2 primitive recursive function
примитивно рекурсивная схема
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > primitive recursive function
-
3 primitive recursive scheme
English-Russian scientific dictionary > primitive recursive scheme
-
4 primitive recursive transcendence
English-Russian scientific dictionary > primitive recursive transcendence
-
5 primitively recursive formula
English-Russian scientific dictionary > primitively recursive formula
-
6 primitively recursive function
English-Russian scientific dictionary > primitively recursive function
-
7 primitive recursive function
English-Russian information technology > primitive recursive function
-
8 primitive recursive scheme
The English-Russian dictionary general scientific > primitive recursive scheme
-
9 primitive recursive scheme
1) Математика: примитивно рекурсивная схема2) Логика: примитивно-рекурсивная схемаУниверсальный англо-русский словарь > primitive recursive scheme
-
10 recursive
-
11 recursive
The English-Russian dictionary general scientific > recursive
-
12 wiring scheme
1. монтажная схемаlabeling scheme — схема маркировки; схема расстановки меток
2. электрическая схема3. схема электрических соединений -
13 primitive recursive function
1) Компьютерная техника: примитивная рекурсивная функция2) Вычислительная техника: примитивно-рекурсивная функцияУниверсальный англо-русский словарь > primitive recursive function
-
14 singly recursive function
Универсальный англо-русский словарь > singly recursive function
-
15 singly recursive function
однократно рекурсивная [примитивно-рекурсивная] функцияEnglish-Russian scientific dictionary > singly recursive function
-
16 partical recursive scheme
labeling scheme — схема маркировки; схема расстановки меток
-
17 primitive recursive scheme
Большой англо-русский и русско-английский словарь > primitive recursive scheme
-
18 primitive recursive arithmetic
Математика: примитивно рекурсивная арифметикаУниверсальный англо-русский словарь > primitive recursive arithmetic
-
19 primitive recursive transcendence
Математика: примитивно рекурсивная трансцендентностьУниверсальный англо-русский словарь > primitive recursive transcendence
-
20 primitively recursive formula
Математика: примитивно рекурсивная формулаУниверсальный англо-русский словарь > primitively recursive formula
См. также в других словарях:
примитивно рекурсивная схема — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN primitive recursive function … Справочник технического переводчика
Примитивно рекурсивная функция — Термин рекурсивные функции в теории вычислимости используют для обозначения трёх множеств функций примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Последние совпадают с множеством вычислимых по Тьюрингу… … Википедия
ПРИМИТИВНО РЕКУРСИВНАЯ ФУНКЦИЯ — функция от натуральных аргументов с натуральными значениями, к рую можно получить из простейших функций конечным числом операций суперпозиции и примитивной рекурсии. Поскольку исходные функции являются вычислимыми, а операторы суперпозиции и… … Математическая энциклопедия
Рекурсивная функция (теория вычислимости) — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций примитивно рекурсивные функции; общерекурсивные функции; … Википедия
Рекурсивная функция (значения) — Рекурсивная функция: Рекурсивная функция числовая функция числового аргумента, которая в своём определении содержит себя же. Рекурсивная функция функция, принадлежащая одному из следующих классов: примитивно рекурсивные функции,… … Википедия
Частично рекурсивная функция — Термин рекурсивные функции в теории вычислимости используют для обозначения трёх множеств функций примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Последние совпадают с множеством вычислимых по Тьюрингу… … Википедия
Общерекурсивная функция — Термин рекурсивные функции в теории вычислимости используют для обозначения трёх множеств функций примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Последние совпадают с множеством вычислимых по Тьюрингу… … Википедия
НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи … Математическая энциклопедия
ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… … Математическая энциклопедия
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия